#define  _CRT_SECURE_NO_WARNINGS
#include<stdio.h>

//int main()
//{
//    double price = 0.0;
//    int month = 0;
//    int day = 0;
//    int flag = 0;
//
//    scanf("%lf %d %d %d", &price, &month, &day, &flag);
//    if (month == 11 && day == 11)
//    {
//        price = price * 0.7 - 50.0 * flag;
//    }
//    else if (month == 12 && day == 12)
//    {
//        price = price * 0.8 - 50 * flag;
//    }
//    if (price < 0)
//    {
//        printf("0.00\n");
//    }
//    else
//    {
//        printf("%.2lf\n", price);
//    }
//
//    return 0;
//}









//int main()
//{
//    char ch = 0;
//    while (scanf("%c", &ch) != EOF)
//    {
//        if (('a' <= ch  && ch <= 'z') || ('A' <= ch && ch <= 'Z'))
//        {
//            printf("%c is an alphabet.", ch);
//        }
//        else
//        {
//            printf("%c is not an alphabet.",ch);
//        }
//        getchar();
//        printf("\n");
//    }
//    return 0;
//}






//int main()
//{
//	int arr[4] = { 0 };
//	int i = 0;
//	int max = 0;
//	for (i = 0; i < 4; i++)
//	{
//		scanf("%d", &arr[i]);
//		if (arr[i] > max)
//		{
//			max = arr[i];
//		}
//	}
//	printf("%d\n", max);
//	return 0;
//}






int main()
{
	int n = 0;
	scanf("%d", &n);
	int i = 0;
	long long sum = 0;
	for (i = 1; i <= n; i++)
	{
		sum += i;
	}
	printf("%ld\n", sum);
	return 0;
}